Formal Methods for Open Object-Based Distributed Systems V: Ifip Tc6 / Wg6.1 Fifth International Conference on Formal Methods for Open Object-Based ... in Information and Communication Technology)
by Bart Jacobs, Arend Rensink,International Conference on Formal Metho
ISBN 13: 9780792376835
Format: Hardcover (292 pages) Publisher: Springer Published: 31 Mar 2002
Save for later